Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
661	ON THE QUALITY CHECKING OF THE AIRBORNE LASER SCANNING-BASED NATION WIDE ELEVATION MODEL IN FINLAND E. Ahokas, H. Kaartinen, J. Hyyppä Finnish Geodetic Institute, Geodeetinrinne 2, 02430 Masala, Finland, eero.ahokas@fg Add to Reading List Source URL: www.isprs.org Language: English* - Date: 2012-10-18 13:37:31 Cartography Surveying Satellite navigation systems GPS Real Time Kinematic Photogrammetry Global Positioning System Geographic information system Leica Camera Technology Geodesy Engineering
662	Informatik - Forschung und Entwicklung manuscript No. (will be inserted by the editor) Florian Kamm¨ uller · S¨ oren Preibusch Add to Reading List Source URL: preibusch.de Language: English - Date: 2007-11-14 18:04:59 Model checking Assertion Formal methods Type system International Space Station Spaceflight Elevator Manned spacecraft
663	Model Checking One Million Lines of C Code∗ Hao Chen Drew Dean David Wagner UC Berkeley SRI International Add to Reading List Source URL: www.isoc.org Language: English - Date: 2004-11-17 13:32:22 Chroot User identifier Setuid Privilege separation Secure Shell Principle of least privilege OpenSSH Group identifier Filesystem permissions Unix System software Software
664	Carl Adam Petri and "Petri Nets" Wilfried Brauer, Wolfgang Reisig Scientific tradition frequently names a fundamental notion, insight, or theory after its explorer or eminent representative. Typical examples include "Ab Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-05-09 04:57:23 Carl Adam Petri Computer science Science Petri Model checking Process calculus Parallel computing CPN-AMI Concurrency Petri nets Formal methods
665	Fiona A Tool to Analyze Interacting Open Nets Peter Massuthe and Daniela Weinberg Humboldt–Universität zu Berlin, Institut für Informatik Unter den Linden 6, 10099 Berlin, Germany {massuthe,weinberg}@informatik.hu-be Add to Reading List Source URL: CEUR-WS.org Language: English - Date: 2008-08-21 06:31:13 Model checking Net Fiona Mathematics Concurrency Diagrams Petri net
666	Guiding Planner Backjumping Using Verifier Traces Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 07:53:49 Artificial intelligence Search algorithms Complexity classes Backjumping Backtracking Constraint satisfaction problem Model checking NP IP Theoretical computer science Applied mathematics Constraint programming
667	Electronic Notes in Theoretical Computer Science[removed]URL: http://www.elsevier.nl/locate/entcs/volume61.html 13 pages A Category-Theoretic Approach to Social Network Analysis Anthony H. Dekker 1 Add to Reading List Source URL: members.ozemail.com.au Language: English - Date: 2001-10-17 01:11:47 Model checking Abstract simplicial complex Büchi automaton Mathematics Automata theory Function
668	A Role for Formal Methodists∗ Fred B. Schneider Department of Computer Science Cornell University Ithaca, New York[removed]November 11, 1993 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-16 15:33:00 Formal methods Formal sciences Logical syntax Philosophy of mathematics Mathematical logic Formal proof Model checking Formalism Mathematical proof Logic Mathematics Science
669	Logical Verification and Systematic Parametric Analysis in Train Control? Andr´e Platzer and Jan-David Quesel University of Oldenburg, Department of Computing Science, Germany {platzer\|quesel}@informatik.uni-oldenburg.d Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:19 Rail transport European Rail Traffic Management System European Train Control System Theoretical computer science Railway signalling Model checking KeY First-order logic Correctness Transport Train protection systems Land transport
670	TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX Add to Reading List Source URL: www.tug.org Language: English - Date: 2009-09-26 12:32:25 Logical syntax Automated theorem proving Proof theory Model theory Theorem Mathematical proof TeX First-order logic Unification Logic Mathematics Mathematical logic

UPDATE